analysis - PDFSEARCH.IO - Document Search Engine

analysis
Results: 187493

#	Item
161	Amortised Resource Analysis and Functional Correctness with Separation Logic (Part II) Summer School on Formal Reasoning and Representation of Complex Systems Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-26 04:16:32 Abstract data types Queue Double-ended queue Dequeue Statistical theory Probability and statistics Economy
162	A Taylor Function Calculus for Hybrid System Analysis Validation in Coq P. Collins1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-23 02:52:18 Dynamical systems Systems science Systems theory Differential equations Control theory Hybrid system Metabolism Ariadne Verification Nonlinear system Coq Coenzyme Q10
163	Poster: IoTcube: An Automated Analysis Platform for Finding Security Vulnerabilities Seulbae Kim, Seunghoon Woo, Heejo Lee, Hakjoo Oh Department of Computer Science and Engineering Korea University Seoul, Korea Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-21 15:07:31 Software testing Computer security Security engineering Cyberwarfare Cybercrime Computer network security Fuzzing Software bugs Application security Vulnerability Internet of things Heartbleed
164	An Experimental Security Analysis of an Industrial Robot Controller Davide Quarta∗ , Marcello Pogliani∗ , Mario Polino∗ , Federico Maggi∗† , Andrea Maria Zanchettin∗ , and Stefano Zanero∗ ∗ Dipartimento Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 15:56:59 Computer architecture Robotics Computing Industrial robot Robot Humanrobot interaction Comau Cobot VxWorks Robot software Mobile robot
165	JDart: A Dynamic Symbolic Analysis Framework? Kasper Luckow1 , Marko Dimjašević2 , Dimitra Giannakopoulou3 , Falk Howar4 , Malte Isberner5 , Temesghen Kahsai1,3 , Zvonimir Rakamarić2 , and Vishwanath Raman6 1 Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Theoretical computer science Software testing Software engineering Computing Constraint programming Automated theorem proving Concolic testing Symbolic execution Satisfiability modulo theories Java Pathfinder Solver KeY
166	Analysis of a Gossip Protocol in PRISM Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD ABSTRACT Gossip protocols have been proposed Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-10-20 08:29:16 Network architecture Distributed computing Gossip protocol PRISM model checker Computing Application software Distributed data storage Software Game theory
167	AnyChart™ Data Visualization Solutions IDS Chooses AnyChart for Its Reporting and Analysis Systems Independent Data Services Add to Reading List Source URL: www.anychart.com Language: English - Date: 2015-04-21 05:39:48 AnyChart Petroleum production Computing Wellsite information transfer standard markup language Visualization Data visualization Application software Communication design
168	Demailly, Jean-Pierre (ed.); Hulek, Klaus (ed.); Peternell, Thomas (ed.) Complex analysis. Abstracts from the workshop held September 2–8, Komplexe Analysis.) (English) Zbl Oberwolfach Rep. 9, No. Add to Reading List Source URL: jgrivaux.perso.math.cnrs.fr Language: English - Date: 2018-03-18 10:24:10 FIZ Karlsruhe Zentralblatt MATH Fiz Moduli space Algebraic geometry Mathematics Geometry Mathematical analysis Complex manifolds Differential geometers Several complex variables
169	Analysis of Collective Investment Schemes licensed by the Malta Financial Services Authority June 2015 Add to Reading List Source URL: mfia.org.mt Language: English - Date: 2015-10-17 10:54:15 Finance Money Economy Funds Investment Undertakings for Collective Investment in Transferable Securities Directive Investment fund Net asset value Specialized investment fund SICAV Common contractual fund
170	Robustness Analysis of Networked Systems? Roopsha Samanta1 , Jyotirmoy V. Deshmukh2 , and Swarat Chaudhuri3 1 University of Texas at Austin 2 Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Mathematics Elementary mathematics Formal languages Theoretical computer science Finite automata Linguistics Dynamic programming String Levenshtein distance Finite-state transducer Term Sequence